Crate quickcheck
source ·Expand description
This crate is a port of Haskell’s QuickCheck.
For detailed examples, please see the README.
Macros
A macro for writing quickcheck tests.
Structs
The main QuickCheck type for setting configuration and running QuickCheck.
StdGen is the default implementation of
Gen
.StdThreadGen is an RNG in thread-local memory.
Describes the status of a single instance of a test.
Traits
Arbitrary
describes types whose values can be randomly generated and
shrunk.Gen
wraps a rand::RngCore
with parameters to control the distribution of
random values.The core of a random number generator.
Testable
describes types (e.g., a function) whose values can be
tested.Functions
Creates a shrinker with zero elements.
Convenience function for running QuickCheck.
Creates a shrinker with a single element.